<html>
<head><meta charset="utf-8"><title>meeting 2021-05-18 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html">meeting 2021-05-18</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="239314104"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239314104" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239314104">(May 18 2021 at 19:44)</a>:</h4>
<p>Hi <span class="user-group-mention" data-user-group-id="692">@WG-traits</span> <br>
Any thoughts on meeting topics today?</p>



<a name="239316261"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239316261" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239316261">(May 18 2021 at 19:59)</a>:</h4>
<p>Okay just about meeting time <span class="user-group-mention" data-user-group-id="692">@WG-traits</span></p>



<a name="239316412"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239316412" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239316412">(May 18 2021 at 20:00)</a>:</h4>
<p>How's everyone?</p>



<a name="239316449"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239316449" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239316449">(May 18 2021 at 20:00)</a>:</h4>
<p>I'm fine, how are you? :)</p>



<a name="239316463"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239316463" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> bynx <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239316463">(May 18 2021 at 20:00)</a>:</h4>
<p>Hey! <br>
No topic from me; I've been lurking for a little while and just wanted to drop that I'm hoping to start contributing (to chalk) and actively attending these more. Still working through my 2nd pass of the chalk book :)</p>
<p>-- is <a href="https://github.com/rust-lang/chalk/issues/604">https://github.com/rust-lang/chalk/issues/604</a> completed?</p>



<a name="239316530"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239316530" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> bynx <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239316530">(May 18 2021 at 20:01)</a>:</h4>
<p>Good here too - hope everyones doing well</p>



<a name="239316636"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239316636" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239316636">(May 18 2021 at 20:01)</a>:</h4>
<p>wave</p>



<a name="239316661"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239316661" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239316661">(May 18 2021 at 20:02)</a>:</h4>
<p><span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="239316718"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239316718" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239316718">(May 18 2021 at 20:02)</a>:</h4>
<p>Doing good. I'm not sure what's a good meeting topic, maybe we can start with brief notes on what folks have been up to</p>



<a name="239316746"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239316746" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239316746">(May 18 2021 at 20:02)</a>:</h4>
<p>I think <a href="https://github.com/rust-lang/chalk/issues/604">chalk#604</a> is still open</p>



<a name="239316767"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239316767" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239316767">(May 18 2021 at 20:02)</a>:</h4>
<p>I've been working hard on the projection normalization under binders</p>



<a name="239316807"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239316807" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239316807">(May 18 2021 at 20:02)</a>:</h4>
<p>How's that going?</p>



<a name="239316821"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239316821" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239316821">(May 18 2021 at 20:02)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/85313">#85313</a>  landed</p>



<a name="239316843"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239316843" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239316843">(May 18 2021 at 20:03)</a>:</h4>
<p>(Also, do folks following along know what that is?)</p>



<a name="239316898"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239316898" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239316898">(May 18 2021 at 20:03)</a>:</h4>
<p>It's going pretty well</p>



<a name="239316958"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239316958" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239316958">(May 18 2021 at 20:03)</a>:</h4>
<p>Working on this one test:</p>
<div class="codehilite"><pre><span></span><code>ui/associated-types/hr-associated-type-bound-param-6.rs
-   error[E0277]: the trait bound `for&lt;&#39;b&gt; T: X&lt;&#39;b, T&gt;` is not satisfied
+   error[E0277]: the trait bound `T: X&lt;&#39;b, T&gt;` is not satisfied
</code></pre></div>



<a name="239316973"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239316973" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239316973">(May 18 2021 at 20:03)</a>:</h4>
<p>Before and after output</p>



<a name="239317067"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239317067" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239317067">(May 18 2021 at 20:04)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-05-18/near/239316718">said</a>:</p>
<blockquote>
<p>Doing good. I'm not sure what's a good meeting topic, maybe we can start with brief notes on what folks have been up to</p>
</blockquote>
<p>I've asked some questions about <a href="https://github.com/rust-lang/rust/issues/82558">#82558</a> but still didn't start working on it, will try to do so now at least for 1h :) meanwhile this meeting happens</p>



<a name="239317108"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239317108" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239317108">(May 18 2021 at 20:04)</a>:</h4>
<p>(sounds good)</p>



<a name="239317163"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239317163" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239317163">(May 18 2021 at 20:04)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-05-18/near/239316843">said</a>:</p>
<blockquote>
<p>(Also, do folks following along know what that is?)</p>
</blockquote>
<p>can you explain? :)</p>



<a name="239317169"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239317169" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239317169">(May 18 2021 at 20:04)</a>:</h4>
<p>(because before we were failing on <code>for&lt;'b&gt; T: X&lt;'b, T&gt;</code>, now we fail on <code>T: X&lt;'!b, T&gt;</code></p>



<a name="239317211"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239317211" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239317211">(May 18 2021 at 20:05)</a>:</h4>
<p>oh, I see, so it's a diagnostics issue</p>



<a name="239317268"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239317268" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239317268">(May 18 2021 at 20:05)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-05-18/near/239317163">said</a>:</p>
<blockquote>
<p>can you explain? :)</p>
</blockquote>



<a name="239317321"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239317321" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239317321">(May 18 2021 at 20:06)</a>:</h4>
<p>so when you have an associated type that involves a bound region, like this:</p>
<div class="codehilite"><pre><span></span><code>for&lt;&#39;a&gt; fn(&lt;T as Trait&lt;&#39;a&gt;&gt;::Foo)
</code></pre></div>



<a name="239317386"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239317386" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239317386">(May 18 2021 at 20:06)</a>:</h4>
<p>we have historically not been able to resolve <code>&lt;T as Trait&lt;'a&gt;&gt;::Foo</code></p>



<a name="239317399"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239317399" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239317399">(May 18 2021 at 20:06)</a>:</h4>
<p><em>even if we know enough to do so</em></p>



<a name="239317425"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239317425" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239317425">(May 18 2021 at 20:06)</a>:</h4>
<p>I see</p>



<a name="239317455"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239317455" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239317455">(May 18 2021 at 20:06)</a>:</h4>
<p>for example, maybe there would be an impl like</p>
<div class="codehilite" data-code-language="Rust"><pre><span></span><code><span class="k">impl</span><span class="o">&lt;'</span><span class="na">a</span><span class="p">,</span><span class="w"> </span><span class="n">T</span><span class="o">&gt;</span><span class="w"> </span><span class="n">Trait</span><span class="o">&lt;'</span><span class="na">a</span><span class="o">&gt;</span><span class="w"> </span><span class="k">for</span><span class="w"> </span><span class="n">T</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="k">type</span> <span class="nc">Foo</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">T</span><span class="p">;</span><span class="w"> </span><span class="p">}</span><span class="w"></span>
</code></pre></div>



<a name="239317461"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239317461" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239317461">(May 18 2021 at 20:06)</a>:</h4>
<p>bound regions makes things complicated in some way, I guess?</p>



<a name="239317482"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239317482" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239317482">(May 18 2021 at 20:06)</a>:</h4>
<p>yeah, it can be a pain</p>



<a name="239317497"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239317497" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239317497">(May 18 2021 at 20:06)</a>:</h4>
<p>yeah, I can't imagine how but ... :)</p>



<a name="239317502"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239317502" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239317502">(May 18 2021 at 20:06)</a>:</h4>
<p>but we realized that with recent refactorings we've actually gotten quite close to being able to do it</p>



<a name="239317526"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239317526" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239317526">(May 18 2021 at 20:07)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-05-18/near/239317211">said</a>:</p>
<blockquote>
<p>oh, I see, so it's a diagnostics issue</p>
</blockquote>
<p>Yes, sort of. Probably need to <em>first</em> try to solve <code>for&lt;'b&gt; T: X&lt;'b, T&gt;</code> and then solve the other where clause, which needs normalization</p>



<a name="239317539"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239317539" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239317539">(May 18 2021 at 20:07)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-05-18/near/239317502">said</a>:</p>
<blockquote>
<p>but we realized that with recent refactorings we've actually gotten quite close to being able to do it</p>
</blockquote>
<p>cool</p>



<a name="239317633"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239317633" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239317633">(May 18 2021 at 20:07)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-05-18/near/239317526">said</a>:</p>
<blockquote>
<p>Yes, sort of. Probably need to <em>first</em> try to solve <code>for&lt;'b&gt; T: X&lt;'b, T&gt;</code> and then solve the other where clause, which needs normalization</p>
</blockquote>
<p>I don't undersatnd that -- but it seems like the way we solve <code>for&lt;'b&gt;</code> would (ideally) be to replace <code>'b</code> with the placeholder, right?</p>



<a name="239317712"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239317712" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239317712">(May 18 2021 at 20:08)</a>:</h4>
<p>Well, so</p>



<a name="239317767"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239317767" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239317767">(May 18 2021 at 20:08)</a>:</h4>
<p>We have these clauses:</p>
<div class="codehilite"><pre><span></span><code>where
    for&lt;&#39;b&gt; T: X&lt;&#39;b, T&gt;,
    for&lt;&#39;b&gt; &lt;T as X&lt;&#39;b, T&gt;&gt;::U: Clone,
</code></pre></div>



<a name="239317823"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239317823" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239317823">(May 18 2021 at 20:09)</a>:</h4>
<p>So, I think what happens (have to look more at this), is that we try to prove the second one</p>



<a name="239317897"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239317897" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239317897">(May 18 2021 at 20:09)</a>:</h4>
<p>But we call <code>normalize...</code>, and end up with <code>&lt;T as X&lt;'!b, T&gt;&gt;::U: Clone</code></p>



<a name="239317988"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239317988" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> marmeladema <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239317988">(May 18 2021 at 20:10)</a>:</h4>
<p>Hi all!<br>
If there are any issues marked as needs-test that would be worthwhile adding test for, I can probably help with that :) Otherwise ignore me, I will just be following along.</p>



<a name="239318050"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239318050" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239318050">(May 18 2021 at 20:10)</a>:</h4>
<p>We can't normalize that, but partly because we can't solve <code>T: X&lt;'!b, T&gt;</code></p>



<a name="239318102"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239318102" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239318102">(May 18 2021 at 20:11)</a>:</h4>
<p>I see</p>



<a name="239318114"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239318114" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239318114">(May 18 2021 at 20:11)</a>:</h4>
<p>and the error reporting in that case is suboptimal?</p>



<a name="239318128"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239318128" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239318128">(May 18 2021 at 20:11)</a>:</h4>
<p><span class="user-mention silent" data-user-id="281572">marmeladema</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-05-18/near/239317988">said</a>:</p>
<blockquote>
<p>Hi all!<br>
If there are any issues marked as needs-test that would be worthwhile adding test for, I can probably help with that :) Otherwise ignore me, I will just be following along.</p>
</blockquote>
<p>I don't think so. But thanks :)</p>



<a name="239318230"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239318230" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239318230">(May 18 2021 at 20:12)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-05-18/near/239318114">said</a>:</p>
<blockquote>
<p>and the error reporting in that case is suboptimal?</p>
</blockquote>
<p>Right. Because we output "the trait bound <code>T: X&lt;'b, T&gt;</code> is not satisfied"</p>



<a name="239318238"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239318238" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239318238">(May 18 2021 at 20:12)</a>:</h4>
<p>But <em>what</em> <code>'b</code></p>



<a name="239318259"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239318259" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239318259">(May 18 2021 at 20:12)</a>:</h4>
<p>The one from <code>for&lt;'b&gt;</code></p>



<a name="239318341"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239318341" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Boxy [she/her] <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239318341">(May 18 2021 at 20:13)</a>:</h4>
<p>(what does <code>!</code> mean in <code>'!b</code>?)</p>



<a name="239318346"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239318346" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239318346">(May 18 2021 at 20:13)</a>:</h4>
<p>right</p>



<a name="239318392"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239318392" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239318392">(May 18 2021 at 20:13)</a>:</h4>
<p>This is my ad-hoc notation to say that <code>'!b</code> is a a placeholder region</p>



<a name="239318425"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239318425" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239318425">(May 18 2021 at 20:13)</a>:</h4>
<p>what I'm wondering <span class="user-mention" data-user-id="232957">@Jack Huey</span> is whether there is some path that adjusts the error in the <code>for&lt;...&gt;</code> case -- I imagine so, since I think it would wind up ultimately reporting an error in region inference..?</p>



<a name="239318552"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239318552" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239318552">(May 18 2021 at 20:14)</a>:</h4>
<p>I think it's just because <code>'b</code> is late bound, it collects that and outputs <code>for&lt;'b&gt;</code></p>



<a name="239318609"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239318609" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239318609">(May 18 2021 at 20:14)</a>:</h4>
<p>That's just standard pretty printing</p>



<a name="239318791"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239318791" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239318791">(May 18 2021 at 20:16)</a>:</h4>
<p>well ok anyway</p>



<a name="239318800"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239318800" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239318800">(May 18 2021 at 20:16)</a>:</h4>
<p>sounds like you're making progress :)</p>



<a name="239318839"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239318839" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239318839">(May 18 2021 at 20:16)</a>:</h4>
<p>I've been poking on this refactoring to try and integrate salsa and chalk's caching more deeply, as I talked a bit about in <a class="stream-topic" data-stream-id="144729" href="/#narrow/stream/144729-wg-traits/topic/caching.20and.20salsa">#wg-traits &gt; caching and salsa</a></p>



<a name="239318893"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239318893" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239318893">(May 18 2021 at 20:17)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-05-18/near/239318800">said</a>:</p>
<blockquote>
<p>sounds like you're making progress :)</p>
</blockquote>
<p>I think this is the last issue</p>



<a name="239318942"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239318942" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239318942">(May 18 2021 at 20:17)</a>:</h4>
<p>I saw <span class="user-mention" data-user-id="255061">@Léo Lanteri Thauvin</span>'s PR for the folder trait</p>



<a name="239318947"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239318947" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239318947">(May 18 2021 at 20:17)</a>:</h4>
<p>or the MCP anyway</p>



<a name="239318976"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239318976" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239318976">(May 18 2021 at 20:17)</a>:</h4>
<p>Yes</p>



<a name="239318977"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239318977" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239318977">(May 18 2021 at 20:17)</a>:</h4>
<p>I'm on it</p>



<a name="239319079"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239319079" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239319079">(May 18 2021 at 20:18)</a>:</h4>
<p>If someone is interested in working on a writeup for the differences between Chalk and rustc's Fold and Visit patterns</p>



<a name="239319080"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239319080" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239319080">(May 18 2021 at 20:18)</a>:</h4>
<p>Down from 600+ errors to less than 100 errors in <code>rustc_middle</code>, if you wanted a status update :)</p>



<a name="239319090"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239319090" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239319090">(May 18 2021 at 20:18)</a>:</h4>
<p>That would be really helpful</p>



<a name="239319187"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239319187" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239319187">(May 18 2021 at 20:19)</a>:</h4>
<p>I'm looking at our project boards...</p>



<a name="239319234"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239319234" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239319234">(May 18 2021 at 20:19)</a>:</h4>
<p>the <a href="https://github.com/rust-lang/wg-traits/projects/5">chalk-ty board</a> in particular seems very incomplete :)</p>



<a name="239319243"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239319243" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239319243">(May 18 2021 at 20:19)</a>:</h4>
<p>where does this MCP fit in</p>



<a name="239319257"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239319257" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239319257">(May 18 2021 at 20:19)</a>:</h4>
<p>I guess it should be under "in progress"</p>



<a name="239319497"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239319497" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239319497">(May 18 2021 at 20:21)</a>:</h4>
<p><a href="https://hackmd.io/K8cPSWn3So2GlPPvPuktAQ">type library plans</a></p>



<a name="239319503"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239319503" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239319503">(May 18 2021 at 20:21)</a>:</h4>
<p>is it worth spending more time on that?</p>



<a name="239319512"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239319512" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239319512">(May 18 2021 at 20:21)</a>:</h4>
<p>That board is kind of out of date</p>



<a name="239319537"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239319537" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239319537">(May 18 2021 at 20:21)</a>:</h4>
<p>There's also <a href="https://github.com/rust-lang/wg-traits/issues/16">https://github.com/rust-lang/wg-traits/issues/16</a></p>



<a name="239319547"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239319547" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239319547">(May 18 2021 at 20:21)</a>:</h4>
<p>lol we like just made it</p>



<a name="239319550"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239319550" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239319550">(May 18 2021 at 20:21)</a>:</h4>
<p>(the board)</p>



<a name="239319572"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239319572" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239319572">(May 18 2021 at 20:22)</a>:</h4>
<p>I think it's more just "incomplete"</p>



<a name="239319615"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239319615" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239319615">(May 18 2021 at 20:22)</a>:</h4>
<p>that's true the tracking issue is probably still pretty up to date actually</p>



<a name="239319656"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239319656" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239319656">(May 18 2021 at 20:22)</a>:</h4>
<blockquote>
<p>Extend rustc's Binder type to contain a list of "kinds" for the bound items (discussion)</p>
</blockquote>



<a name="239319664"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239319664" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239319664">(May 18 2021 at 20:22)</a>:</h4>
<p>that's...done now, right?</p>



<a name="239319804"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239319804" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239319804">(May 18 2021 at 20:23)</a>:</h4>
<p>ah, so many plans -- there's also <a href="https://hackmd.io/vSz1MfmBSDSx5NkowiIUfQ?edit">type library plan hackmd</a></p>



<a name="239319922"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239319922" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239319922">(May 18 2021 at 20:24)</a>:</h4>
<p>oops yes</p>



<a name="239319947"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239319947" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239319947">(May 18 2021 at 20:24)</a>:</h4>
<p>we should deinitely pick one and stick with it :)</p>



<a name="239319951"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239319951" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239319951">(May 18 2021 at 20:24)</a>:</h4>
<p>I checked off "Extend rustc's late-bound types to contain an index"</p>



<a name="239319998"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239319998" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239319998">(May 18 2021 at 20:25)</a>:</h4>
<p>I think the project board is potentially better</p>



<a name="239320099"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239320099" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239320099">(May 18 2021 at 20:26)</a>:</h4>
<p>I like the project board myself</p>



<a name="239320155"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239320155" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239320155">(May 18 2021 at 20:26)</a>:</h4>
<p>more amenable to multiple people editing etc</p>



<a name="239320243"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239320243" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239320243">(May 18 2021 at 20:26)</a>:</h4>
<p>I also like a hackmd (<a href="https://hackmd.io/K8cPSWn3So2GlPPvPuktAQ">like this one</a>) that captures the design questions</p>



<a name="239320307"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239320307" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239320307">(May 18 2021 at 20:27)</a>:</h4>
<p>so let's try to consolidate a bit on the project board</p>



<a name="239320352"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239320352" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> bynx <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239320352">(May 18 2021 at 20:27)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-05-18/near/239320243">said</a>:</p>
<blockquote>
<p>I also like a hackmd (<a href="https://hackmd.io/K8cPSWn3So2GlPPvPuktAQ">like this one</a>) that captures the design questions</p>
</blockquote>
<p>As a fresh set of eyes, these hackmd's are super helpful +1</p>



<a name="239320464"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239320464" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239320464">(May 18 2021 at 20:28)</a>:</h4>
<p>I feel so disorganized with wg-traits things :(</p>



<a name="239320500"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239320500" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239320500">(May 18 2021 at 20:28)</a>:</h4>
<p>it's always so hard to get on top of things :)</p>



<a name="239320509"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239320509" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239320509">(May 18 2021 at 20:28)</a>:</h4>
<p>never fear, it's universal</p>



<a name="239320596"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239320596" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239320596">(May 18 2021 at 20:29)</a>:</h4>
<p>I'm looking over the <a href="https://hackmd.io/vSz1MfmBSDSx5NkowiIUfQ?view">type library plan</a> hackmd</p>



<a name="239320601"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239320601" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239320601">(May 18 2021 at 20:29)</a>:</h4>
<p>it seems like a lot of those points are still relevant :)</p>



<a name="239320756"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239320756" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239320756">(May 18 2021 at 20:30)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span> the "Remove <code>TyKind::Param</code>" issue--</p>



<a name="239320769"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239320769" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239320769">(May 18 2021 at 20:30)</a>:</h4>
<p>Yes</p>



<a name="239320772"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239320772" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239320772">(May 18 2021 at 20:30)</a>:</h4>
<p>this is basically talking about the early-bound stuff in general, right?</p>



<a name="239320783"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239320783" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239320783">(May 18 2021 at 20:30)</a>:</h4>
<p>yes</p>



<a name="239320785"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239320785" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239320785">(May 18 2021 at 20:30)</a>:</h4>
<p>like, it also applies to regions</p>



<a name="239320789"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239320789" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239320789">(May 18 2021 at 20:30)</a>:</h4>
<p>yes</p>



<a name="239320818"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239320818" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239320818">(May 18 2021 at 20:31)</a>:</h4>
<p>really the problem here is that chalk + rustc disagree</p>



<a name="239320836"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239320836" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239320836">(May 18 2021 at 20:31)</a>:</h4>
<p>but I think we all agree chalk's way is better</p>



<a name="239320851"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239320851" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239320851">(May 18 2021 at 20:31)</a>:</h4>
<p>this is the stuff I started but stalled out on</p>



<a name="239320866"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239320866" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239320866">(May 18 2021 at 20:31)</a>:</h4>
<p>ok, I'm going to open an issue to track it and bit more detailed</p>



<a name="239321027"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239321027" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239321027">(May 18 2021 at 20:32)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> do you think that's something you could realistically mentor someone that's not me</p>



<a name="239321114"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239321114" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239321114">(May 18 2021 at 20:33)</a>:</h4>
<p><a href="https://github.com/rust-lang/wg-traits/issues/28">https://github.com/rust-lang/wg-traits/issues/28</a></p>



<a name="239321133"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239321133" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239321133">(May 18 2021 at 20:33)</a>:</h4>
<p>not sure</p>



<a name="239321137"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239321137" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> bynx <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239321137">(May 18 2021 at 20:33)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-05-18/near/239320818">said</a>:</p>
<blockquote>
<p>really the problem here is that chalk + rustc disagree</p>
</blockquote>
<p>could you please elaborate on this a bit more? if you have free time, that is :)</p>



<a name="239321209"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239321209" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239321209">(May 18 2021 at 20:33)</a>:</h4>
<p><span class="user-mention" data-user-id="364236">@bynx</span> that issue gives a <em>few</em> more details</p>



<a name="239321212"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239321212" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> bynx <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239321212">(May 18 2021 at 20:33)</a>:</h4>
<p>nvm - looking at the issue</p>



<a name="239321235"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239321235" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239321235">(May 18 2021 at 20:34)</a>:</h4>
<p>I would probably want to do a big more exploration before I felt I knew what path to take</p>



<a name="239321307"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239321307" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239321307">(May 18 2021 at 20:34)</a>:</h4>
<p>That makes sense</p>



<a name="239321321"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239321321" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239321321">(May 18 2021 at 20:34)</a>:</h4>
<p>I'm noting this from the old document:</p>



<a name="239321327"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239321327" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239321327">(May 18 2021 at 20:34)</a>:</h4>
<blockquote>
<p>ReFree – used in lexical region resolve and for UserTypeAnnotation recording</p>
</blockquote>



<a name="239321340"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239321340" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239321340">(May 18 2021 at 20:34)</a>:</h4>
<blockquote>
<p>solution: improve NLL higher-ranked region errors so that we can remove lexical region resolve</p>
</blockquote>



<a name="239321362"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239321362" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239321362">(May 18 2021 at 20:34)</a>:</h4>
<blockquote>
<p>and figure out something for user-type-annotations</p>
</blockquote>



<a name="239321381"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239321381" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239321381">(May 18 2021 at 20:34)</a>:</h4>
<p><span class="user-mention" data-user-id="116118">@Matthew Jasper</span> was doing something here, but I don't think it got done</p>



<a name="239321394"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239321394" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239321394">(May 18 2021 at 20:34)</a>:</h4>
<p>correct</p>



<a name="239321408"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239321408" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239321408">(May 18 2021 at 20:34)</a>:</h4>
<p>it would be quite a coup, since I think that is the main reason we still have regionck in typeck around</p>



<a name="239321424"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239321424" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239321424">(May 18 2021 at 20:35)</a>:</h4>
<p>so maybe the high-level goal here is "remove lexical region inference"</p>



<a name="239321455"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239321455" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239321455">(May 18 2021 at 20:35)</a>:</h4>
<p>No, it's still "mostly done"  and I "just" need to make time for it</p>



<a name="239321657"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239321657" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239321657">(May 18 2021 at 20:36)</a>:</h4>
<p>how done is "mostly done" :)</p>



<a name="239321667"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239321667" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239321667">(May 18 2021 at 20:36)</a>:</h4>
<p>is it something you think you could hand off?</p>



<a name="239321696"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239321696" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239321696">(May 18 2021 at 20:36)</a>:</h4>
<p>am I correct, <span class="user-mention" data-user-id="116118">@Matthew Jasper</span>, that this is the main blocker to removing region check?</p>



<a name="239321922"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239321922" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239321922">(May 18 2021 at 20:38)</a>:</h4>
<p>oh, we need to configure the wg-traits repo to use rustbot</p>



<a name="239321986"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239321986" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239321986">(May 18 2021 at 20:38)</a>:</h4>
<p>We should do that, yes</p>



<a name="239321995"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239321995" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239321995">(May 18 2021 at 20:38)</a>:</h4>
<p>I think it's pretty simple</p>



<a name="239322026"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239322026" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239322026">(May 18 2021 at 20:39)</a>:</h4>
<p>done</p>



<a name="239322037"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239322037" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239322037">(May 18 2021 at 20:39)</a>:</h4>
<p>=)</p>



<a name="239322125"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239322125" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239322125">(May 18 2021 at 20:39)</a>:</h4>
<p>doesn't seem to work though; maybe it just takes time?</p>



<a name="239322262"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239322262" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239322262">(May 18 2021 at 20:40)</a>:</h4>
<p>what did you do</p>



<a name="239322279"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239322279" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239322279">(May 18 2021 at 20:40)</a>:</h4>
<p>I created a triagebot.toml</p>



<a name="239322309"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239322309" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239322309">(May 18 2021 at 20:40)</a>:</h4>
<p><a href="https://github.com/rust-lang/wg-traits/blob/master/triagebot.toml">https://github.com/rust-lang/wg-traits/blob/master/triagebot.toml</a></p>



<a name="239322358"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239322358" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239322358">(May 18 2021 at 20:41)</a>:</h4>
<p>That should work, I think</p>



<a name="239322362"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239322362" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239322362">(May 18 2021 at 20:41)</a>:</h4>
<p>dyn Trait representation –</p>



<a name="239322427"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239322427" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239322427">(May 18 2021 at 20:41)</a>:</h4>
<p>so the thing here is that chalk doesn't have a special thing for "existential predicates"</p>



<a name="239322433"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239322433" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239322433">(May 18 2021 at 20:41)</a>:</h4>
<p>but just uses a binder</p>



<a name="239322452"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239322452" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239322452">(May 18 2021 at 20:41)</a>:</h4>
<p>I <em>think</em> this is better than rustc ?</p>



<a name="239322467"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239322467" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239322467">(May 18 2021 at 20:41)</a>:</h4>
<p>Maybe</p>



<a name="239322470"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239322470" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239322470">(May 18 2021 at 20:41)</a>:</h4>
<p>it feels good to not have to have an extra thing</p>



<a name="239322521"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239322521" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239322521">(May 18 2021 at 20:42)</a>:</h4>
<p>agreed</p>



<a name="239322562"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239322562" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239322562">(May 18 2021 at 20:42)</a>:</h4>
<p>I think this one is pretty easy</p>



<a name="239322575"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239322575" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239322575">(May 18 2021 at 20:42)</a>:</h4>
<p>Just need an actual issue a <code>help-wanted</code></p>



<a name="239322727"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239322727" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239322727">(May 18 2021 at 20:43)</a>:</h4>
<p>ok, if you take a loko at <a href="https://github.com/rust-lang/wg-traits/projects/5">https://github.com/rust-lang/wg-traits/projects/5</a>, it's starting to get filled out</p>



<a name="239322839"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239322839" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239322839">(May 18 2021 at 20:44)</a>:</h4>
<p>I have a question</p>



<a name="239322857"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239322857" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239322857">(May 18 2021 at 20:44)</a>:</h4>
<p>this project -- the chalk-ty library -- reminds me of polonius</p>



<a name="239322865"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239322865" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239322865">(May 18 2021 at 20:44)</a>:</h4>
<p>in that I feel like it always takes me so long to recover context</p>



<a name="239322873"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239322873" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239322873">(May 18 2021 at 20:44)</a>:</h4>
<p>I wonder if we should consider a sprint</p>



<a name="239322899"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239322899" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Boxy [she/her] <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239322899">(May 18 2021 at 20:44)</a>:</h4>
<p>(what are sprints?)</p>



<a name="239322937"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239322937" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239322937">(May 18 2021 at 20:45)</a>:</h4>
<p>Which kind? The wg-traits kind or the t-compiler/wg-polonius kind?</p>



<a name="239322948"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239322948" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239322948">(May 18 2021 at 20:45)</a>:</h4>
<p>what we did in polonius was to pick a week</p>



<a name="239322959"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239322959" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239322959">(May 18 2021 at 20:45)</a>:</h4>
<p>the polonius kind :)</p>



<a name="239322975"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239322975" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239322975">(May 18 2021 at 20:45)</a>:</h4>
<p>the idea was to block out 4 hours a day for the week</p>



<a name="239323016"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239323016" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239323016">(May 18 2021 at 20:45)</a>:</h4>
<p>not sure if that'd be an option for people anyway :) (including maybe me)</p>



<a name="239323023"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239323023" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239323023">(May 18 2021 at 20:45)</a>:</h4>
<p>but it's something to consider</p>



<a name="239323100"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239323100" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239323100">(May 18 2021 at 20:46)</a>:</h4>
<blockquote>
<p>extract rustc library and start the factoring – needs someone to start playing with it</p>
</blockquote>



<a name="239323115"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239323115" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239323115">(May 18 2021 at 20:46)</a>:</h4>
<p>Yeah, I'm not sure I could block out 4 hours for a week. Unless I took time off</p>



<a name="239323149"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239323149" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239323149">(May 18 2021 at 20:46)</a>:</h4>
<p>(or it was evenings)</p>



<a name="239323178"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239323178" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239323178">(May 18 2021 at 20:46)</a>:</h4>
<p>well, we could try different things, but I don't know if I could do evenings :)</p>



<a name="239323195"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239323195" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239323195">(May 18 2021 at 20:47)</a>:</h4>
<p>Yes, I figured as much</p>



<a name="239323211"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239323211" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239323211">(May 18 2021 at 20:47)</a>:</h4>
<p>it'd be easier to get up at 4am every day or something heh</p>



<a name="239323233"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239323233" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239323233">(May 18 2021 at 20:47)</a>:</h4>
<p>(I do that anyway half the time...)</p>



<a name="239323236"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239323236" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239323236">(May 18 2021 at 20:47)</a>:</h4>
<p>For one of us</p>



<a name="239323291"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239323291" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239323291">(May 18 2021 at 20:47)</a>:</h4>
<p>well, anyway, let's shelve that idea for now</p>



<a name="239323294"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239323294" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239323294">(May 18 2021 at 20:47)</a>:</h4>
<p>Anyways, let's think and maybe open a separate thread</p>



<a name="239323304"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239323304" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239323304">(May 18 2021 at 20:47)</a>:</h4>
<p>right</p>



<a name="239323347"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239323347" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239323347">(May 18 2021 at 20:48)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-05-18/near/239323100">said</a>:</p>
<blockquote>
<blockquote>
<p>extract rustc library and start the factoring – needs someone to start playing with it</p>
</blockquote>
</blockquote>



<a name="239323353"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239323353" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239323353">(May 18 2021 at 20:48)</a>:</h4>
<p>I think for this</p>



<a name="239323411"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239323411" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239323411">(May 18 2021 at 20:48)</a>:</h4>
<p>this is what we were discussing in <a href="https://hackmd.io/K8cPSWn3So2GlPPvPuktAQ">this hackmd</a></p>



<a name="239323436"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239323436" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239323436">(May 18 2021 at 20:48)</a>:</h4>
<p>yes</p>



<a name="239323723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239323723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239323723">(May 18 2021 at 20:50)</a>:</h4>
<p>I'm skimming those notes :)</p>



<a name="239323788"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239323788" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239323788">(May 18 2021 at 20:50)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-05-18/near/239321424">said</a>:</p>
<blockquote>
<p>so maybe the high-level goal here is "remove lexical region inference"</p>
</blockquote>
<p>is there anything i can read to learn more about this?</p>



<a name="239324137"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239324137" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239324137">(May 18 2021 at 20:53)</a>:</h4>
<p>ok, well, we're about out of time, but I guess looking over <a href="https://github.com/rust-lang/chalk/issues/16">chalk#16</a> the main thing I see not covered is the "flags"</p>



<a name="239324172"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239324172" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239324172">(May 18 2021 at 20:53)</a>:</h4>
<p>well, and canonicalization</p>



<a name="239324249"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239324249" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239324249">(May 18 2021 at 20:53)</a>:</h4>
<p>I'm not sure what's the status of the flag work; we added some basic support, i guess we're just not using them at all?</p>



<a name="239324300"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239324300" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239324300">(May 18 2021 at 20:54)</a>:</h4>
<p>correct</p>



<a name="239324339"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239324339" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239324339">(May 18 2021 at 20:54)</a>:</h4>
<p>And canonicalization, I know <span class="user-mention" data-user-id="251766">@Areredify</span> had a semi-working branch</p>



<a name="239324377"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239324377" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239324377">(May 18 2021 at 20:54)</a>:</h4>
<p>I'm not really even sure what the goals are</p>



<a name="239324531"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239324531" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239324531">(May 18 2021 at 20:55)</a>:</h4>
<p>for?</p>



<a name="239324553"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239324553" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239324553">(May 18 2021 at 20:55)</a>:</h4>
<p>I mean, for flag usage, perf</p>



<a name="239324559"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239324559" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239324559">(May 18 2021 at 20:55)</a>:</h4>
<p>canonicalization changes</p>



<a name="239324567"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239324567" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239324567">(May 18 2021 at 20:55)</a>:</h4>
<p>I think flag usage we can just ignore</p>



<a name="239324581"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239324581" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239324581">(May 18 2021 at 20:55)</a>:</h4>
<p>Placeholder canonicalization</p>



<a name="239324587"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239324587" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239324587">(May 18 2021 at 20:55)</a>:</h4>
<p>it's not a blocker of anything in particular, right?</p>



<a name="239324635"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239324635" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239324635">(May 18 2021 at 20:56)</a>:</h4>
<p>flags? no</p>



<a name="239324641"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239324641" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239324641">(May 18 2021 at 20:56)</a>:</h4>
<p>ah, rght, placeholder canonicaliaiton, yes, yes coming back to me now</p>



<a name="239324661"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239324661" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239324661">(May 18 2021 at 20:56)</a>:</h4>
<p>placeholder canonicalization, yes, for full rustc integration</p>



<a name="239324890"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239324890" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> marmeladema <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239324890">(May 18 2021 at 20:58)</a>:</h4>
<p>You might be hearing this all the time, but I wonder if there is a current description of what is known to be missing / to do before GAT (or at least partial) stabilization?</p>



<a name="239324956"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239324956" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> marmeladema <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239324956">(May 18 2021 at 20:58)</a>:</h4>
<p>And if lifetime only GAT stabilization would be an option on the table to start allowing things on stable</p>



<a name="239325068"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239325068" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239325068">(May 18 2021 at 20:59)</a>:</h4>
<p><span class="user-mention" data-user-id="281572">@marmeladema</span> see the <a href="https://github.com/rust-lang/wg-traits/projects/4">async fn in traits</a> project board</p>



<a name="239325092"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239325092" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239325092">(May 18 2021 at 20:59)</a>:</h4>
<p>tl;dr is that we are close</p>



<a name="239325214"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239325214" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239325214">(May 18 2021 at 21:00)</a>:</h4>
<p>I think the biggest/only blocker right now is finishing the projection normalization work</p>



<a name="239325471"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239325471" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> marmeladema <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239325471">(May 18 2021 at 21:01)</a>:</h4>
<p>Thanks! And do you think full GAT will be stabilized all together?</p>



<a name="239325754"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239325754" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239325754">(May 18 2021 at 21:03)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-05-18/near/239320596">said</a>:</p>
<blockquote>
<p>I'm looking over the <a href="https://hackmd.io/vSz1MfmBSDSx5NkowiIUfQ?view">type library plan</a> hackmd</p>
</blockquote>
<p>This one is really helpful but I can't find a link to it from anywhere else</p>



<a name="239325892"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239325892" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239325892">(May 18 2021 at 21:04)</a>:</h4>
<p><span class="user-mention silent" data-user-id="281572">marmeladema</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-05-18/near/239325471">said</a>:</p>
<blockquote>
<p>Thanks! And do you think full GAT will be stabilized all together?</p>
</blockquote>
<p>Yes</p>



<a name="239325901"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239325901" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239325901">(May 18 2021 at 21:04)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116883">tmandry</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-05-18/near/239325754">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-05-18/near/239320596">said</a>:</p>
<blockquote>
<p>I'm looking over the <a href="https://hackmd.io/vSz1MfmBSDSx5NkowiIUfQ?view">type library plan</a> hackmd</p>
</blockquote>
<p>This one is really helpful but I can't find a link to it from anywhere else</p>
</blockquote>
<p>It's pretty old now</p>



<a name="239325907"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239325907" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239325907">(May 18 2021 at 21:04)</a>:</h4>
<p>Like probably a year old</p>



<a name="239326109"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239326109" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> marmeladema <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239326109">(May 18 2021 at 21:06)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-05-18/near/239325892">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="281572">marmeladema</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-05-18/near/239325471">said</a>:</p>
<blockquote>
<p>Thanks! And do you think full GAT will be stabilized all together?</p>
</blockquote>
<p>Yes</p>
</blockquote>
<p>that's really awesome :D</p>



<a name="239326569"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239326569" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239326569">(May 18 2021 at 21:10)</a>:</h4>
<p>This is under the assumption that we don't find anything super breaking during the testing</p>



<a name="239327935"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239327935" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> marmeladema <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239327935">(May 18 2021 at 21:20)</a>:</h4>
<p>Yes, that makes sense. How much do you think GAT has been tested so far?</p>



<a name="239328144"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239328144" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239328144">(May 18 2021 at 21:22)</a>:</h4>
<p>Probably a decent amount</p>



<a name="239330017"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-05-18/near/239330017" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-05-18.html#239330017">(May 18 2021 at 21:37)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-05-18/near/239325901">said</a>:</p>
<blockquote>
<p>It's pretty old now</p>
</blockquote>
<p>I was talking about <a href="https://hackmd.io/K8cPSWn3So2GlPPvPuktAQ">this doc</a>, which is only a couple months old</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>